1. Abstract computing machines :
پدیدآورنده: / W. Kluge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Lambda calculus
رده :
E-BOOK
2. Abstract computing machines ; a lambda calculus perspective
پدیدآورنده: / W. Kluge
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Machine theory,Lambda calculus
رده :
QA
278
.
K6
2005
3. Automata and computability :
پدیدآورنده: Ganesh Lalitha Gopalakrishnan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic control-- Data processing.,Digital control systems-- Programming.,Machine theory.,Automatic control-- Data processing.,COMPUTERS / General,COMPUTERS / Information Theory,Machine theory.,MATHEMATICS / General,TECHNOLOGY & ENGINEERING / Engineering (General)
رده :
TJ223
.
M53
G663
2019
4. Automata and computability /
پدیدآورنده: Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
5. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
6. Processes, terms and cycles
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
7. Processes, terms and cycles
پدیدآورنده: / Aart Middeldorp ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Lambda calculus.,Rewriting systems (Computer science),Machine theory.
رده :
QA
,
9
.
5
,.
P76
,
2005
8. Programming languages and systems :
پدیدآورنده: Amal Ahmed (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
